interactive proof造句

例句与造句

1. our task is to develop the first interactive proof assistant for the-calculus . we call it pim ( the pi-calculus manipulator )
   我们的工作就是为-演算设计并实现第一个交互式的验证工具pim(thepi-calculusmanipulator)。
2. the topics covered in this course include interactive proofs, zero-knowledge proofs, zero-knowledge proofs of knowledge, non-interactive zero-knowledge proofs, secure protocols, two-party secure computation, multiparty secure computation, and chosen-ciphertext security
   本课程所涵盖的主题包含有互动式证明，零知识证明，知识的零知识证明，非互动式零知识证明，安全协定，双方安全计算，多方安全计算与选择密文安全性。
3. users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity; chapter 9 on provable intractability, and chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing
   早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。
4. our work includes the following three aspects . first, aiming at designing a suitable version of the unique fixpoint induction from the application point of view, we generalized lin's version and got the final version we needed . second, we implemented pim, the first interactive proof assistant for the-calculus
   主要工作和成果包括如下三个方面：首先，为了处理递归，我们对lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。
5. in cryptology technology, which can be used to create digital evidence, we addressed three problems : a encryption scheme integrated fault tolerance and digital signature, a identification protocol based on zero-knowledge interactive proof, digital signature included single digital signature, multiple digital signature and ( n, t ) threshold digital signature . 5 . the sk protocol was improved and s
   4.在适合生成数字证据的密码学技术研究中提出了:一个集成数据签名和容错技术并能在加密、传送、解密和认证三个过程中实现容错的rsa加密方案;一个基于零知识证明的身份认证协议;基于零知识证明的数字签名方案。
6. It's difficult to find interactive proof in a sentence. 用interactive proof造句挺难的